Innermost disk pairs in least weight normal surfaces
نویسندگان
چکیده
منابع مشابه
Termination of Innermost Context-Sensitive Rewriting Using Dependency Pairs
Innermost context-sensitive rewriting has been proved useful for modeling computations of programs of algebraic languages like Maude, OBJ, etc. Furthermore, innermost termination of rewriting is often easier to prove than termination. Thus, under appropriate conditions, a useful strategy for proving termination of rewriting is trying to prove termination of innermost rewriting. This phenomenon ...
متن کاملLeast Squares Subdivision Surfaces
The usual approach to design subdivision schemes for curves and surfaces basically consists in combining proper rules for regular configurations, with some specific heuristics to handle extraordinary vertices. In this paper, we introduce an alternative approach, called Least Squares Subdivision Surfaces (LS3), where the key idea is to iteratively project each vertex onto a local approximation o...
متن کاملDouble-normal pairs in space
A double-normal pair of a finite set S of points from R is a pair of points {p, q} from S such that S lies in the closed strip bounded by the hyperplanes through p and q perpendicular to pq. A double-normal pair pq is strict if S \ {p, q} lies in the open strip. The problem of estimating the maximum number Nd(n) of double-normal pairs in a set of n points in R, was initiated by Martini and Solt...
متن کاملOn Normal Contact Pairs
We consider manifolds endowed with a contact pair structure. To such a structure are naturally associated two almost complex structures. If they are both integrable, we call the structure a normal contact pair. We generalize the Morimoto’s Theorem on product of almost contact manifolds to flat bundles. We construct some examples on Boothby–Wang fibrations over contact-symplectic manifolds. In p...
متن کاملPairs of foliations on surfaces
We survey in this paper results on a particular set of Implicit Differential Equations (IDEs) on smooth surfaces, called Binary/Quadratic Differential Equations (BDEs). These equations define at most two solution curves at each point on the surface, resulting in a pair of foliations in some region of the surface. BDEs appear naturally in differential geometry and in control theory. The examples...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Topology and its Applications
سال: 1995
ISSN: 0166-8641
DOI: 10.1016/0166-8641(94)00097-m